Intelligent Computation of Reachability Sets for Space Missions
نویسندگان
چکیده
This paper introduces a new technique for intelligently exploring the reachability set of a spacecraft: the set of trajectories from a given initial condition that are possible under a specified range of control actions. The high dimension of this problem and the nonlinear nature of gravitational interactions make the geometry of these sets complicated, hard to compute, and all but impossible to visualize. Currently, exploration of a problem’s state space is done heuristically, based on previously identified solutions. This potentially misses out on improved mission design solutions that are not close to previous approaches. The goal of the work described here is to map out reachability sets automatically. This would not only aid human mission planners, but also allow a spacecraft to determine its own course without input from Earth-based controllers. Brute-force approaches to this are computationally prohibitive, so one must focus the effort on regions that are of interest: where neighboring trajectories diverge quickly, for instance, or come close to a body that the spacecraft is orbiting. In this paper, we focus on the first of those two criteria; the goal is to identify regions in the system’s state space where small changes have large effects— or vice versa—and concentrate the computational mesh
منابع مشابه
Reachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملInformation extraction and knowledge discovery from high-dimensional and high-volume complex data sets through precision manifold learning
Finding critical information in large and complex data volumes is a challenge increasingly posed by real systems such as NASA’s space and Earth science missions. Many of these real systems are also desired to operate highly autonomously, using extracted information directly, for decisions, or for collaborations among missions. One example of this would be spacecraft or rover navigation based on...
متن کاملOn Computing Symmetries and Stubborn Sets on Computing Symmetries and Stubborn Sets
In this report, we consider two promising methods for alleviating the state space explosion problem in reachability analysis: the symmetry method and the stubborn set method. We concentrate on the computation of symmetries and stubborn sets. The new algorithms presented in this report help us to save time and space in the symmetry method and to avoid inspecting redundant states in the so called...
متن کاملValidating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets
We develop a general framework for solving the hybrid system reachability problem, and indicate how several published techniques fit into this framework. The key unresolved need of any hybrid system reachability algorithm is the computation of continuous reachable sets; consequently, we present new results on techniques for calculating numerical approximations of such sets evolving under genera...
متن کاملForward Reachability Computation for Autonomous Max-Plus-Linear Systems
This work discusses the computation of forward reachability for autonomous (that is, deterministic) Max-Plus-Linear (MPL) systems, a class of continuous-space discrete-event models that are relevant for applications dealing with synchronization and scheduling. Given an MPL model and a set of initial states, we characterize and compute its “reach tube,” namely the sequential collection of the se...
متن کامل